Second-order logic - PDFSEARCH.IO - Document Search Engine

Second-order logic
Results: 101

#	Item
31	The System of Accounting for Global Entropy Production, (SAGE-P): Second Order Logic Accounting Representation, (SOLAR) of the Econosphere Add to Reading List Source URL: events.it-sudparis.eu Language: English - Date: 2008-04-25 02:31:34
32	Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees Am´elie Gheerbrant Balder ten Cate Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-11-10 14:14:39
33	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-06-22 09:34:21 Proof theory Computability theory Functions and mappings Reverse mathematics Mathematical proofs Primitive recursive function Gödel–Gentzen negative translation Primitive recursive arithmetic Second-order arithmetic Mathematics Mathematical logic Logic
34	January 5, 2009 — Submitted — 15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-03-02 09:38:29 Sequent calculus Entailment Ω-consistent theory Sequent Cut-elimination theorem First-order logic Structure Linear logic Natural deduction Logic Mathematical logic Proof theory
35	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics
36	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
37	Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids? Petr Hlinˇ en´ y School of Mathematical and Computing Sciences, Add to Reading List Source URL: www.fi.muni.cz Language: English - Date: 2005-07-07 11:28:02 Combinatorics Matroid Branch-decomposition Greedoid Duality Minor Tree decomposition Graph Bicircular matroid Graph theory Mathematics Matroid theory
38	Plural Quantifiers John MacFarlane—Philosophy 142 February 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-24 14:22:05 Model theory Quantification Predicate logic Semantics First-order logic Second-order logic Interpretation Non-standard model of arithmetic Nonfirstorderizability Mathematical logic Logic Mathematics
39	Keio University Thesis Abstract No. Registration Add to Reading List Source URL: www.flet.keio.ac.jp Language: English - Date: 2011-01-10 04:43:39 Mathematics Conservative extension Second-order arithmetic Cut-elimination theorem Ordinal analysis Reverse mathematics Proof theory Mathematical logic Logic
40	Some hints on reading Boolos, “To Be is to Be. . . ” John MacFarlane—Philosophy 142 February 3, 2011 There are some things in this article that will only make sense to you if you’ve studied some metalogic and set Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-03 15:19:17 Model theory Non-standard model of arithmetic Second-order logic S Plural quantification First-order logic Peano axioms Interpretation Compactness theorem Mathematical logic Logic Mathematics